Representation of FS-domains Based on Closure Spaces
نویسندگان
چکیده
منابع مشابه
Metric spaces and FS-domains
In this article we give general conditions on ametric space to insure that the poset of closed formal balls is an FS-domain. © 2008 Elsevier B.V. All rights reserved.
متن کاملA note on the problem when FS-domains coincide with RB-domains
In this paper, we introduce the notion of super finitely separating functions which gives a characterization of RB-domains. Then we prove that FS-domains and RB-domains are equivalent in some special cases by the following three claims: a dcpo is an RB-domain if and only if there exists an approximate identity for it consisting of super finitely separating functions; a consistent join-semilatti...
متن کاملON (L;M)-FUZZY CLOSURE SPACES
The aim of this paper is to introduce $(L,M)$-fuzzy closurestructure where $L$ and $M$ are strictly two-sided, commutativequantales. Firstly, we define $(L,M)$-fuzzy closure spaces and getsome relations between $(L,M)$-double fuzzy topological spaces and$(L,M)$-fuzzy closure spaces. Then, we introduce initial$(L,M)$-fuzzy closure structures and we prove that the category$(L,M)$-{bf FC} of $(L,M...
متن کاملStrongly Semicontinuous Domains and Semi-FS Domains
We are mainly concerned with some special kinds of semicontinuous domains and relationships between them. New concepts of strongly semicontinuous domains, meet semicontinuous domains and semi-FS domains are introduced. It is shown that a dcpo L is strongly semicontinuous if and only if L is semicontinuous and meet semicontinuous. It is proved that semi-FS domains are strongly semicontinuous. So...
متن کاملstudy of hash functions based on chaotic maps
توابع درهم نقش بسیار مهم در سیستم های رمزنگاری و پروتکل های امنیتی دارند. در سیستم های رمزنگاری برای دستیابی به احراز درستی و اصالت داده دو روش مورد استفاده قرار می گیرند که عبارتند از توابع رمزنگاری کلیددار و توابع درهم ساز. توابع درهم ساز، توابعی هستند که هر متن با طول دلخواه را به دنباله ای با طول ثابت تبدیل می کنند. از جمله پرکاربردترین و معروف ترین توابع درهم می توان توابع درهم ساز md4, md...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2019
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2019.07.029